- узкое исчисление предикатов
- restricted predicate calculus логика
Русско-английский научно-технический словарь Масловского. 2015.
узкое исчисление предикатов
Look at other dictionaries:
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Парадокс — (от греч. parádoxes неожиданный, странный) неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» … Большая советская энциклопедия
Формализация — представление какой либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая … Большая советская энциклопедия
Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, т.е. именами отдельных единичных «сущностей» реальных или идеальных, а … Большая советская энциклопедия
НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… … Философская энциклопедия
Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому названия таких понятий, как «животное», «эмоция» это не собственные имена цельных сущностей, а общие имена… … Википедия
Номиналисты — Номинализм (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, то есть именами отдельных единичных «сущностей» реальных или… … Википедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
